ePMC - wlan cost

Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property cost_min
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 4171 4171
build-model-states-explored 10504 6333
build-model-states-explored 16843 6339
build-model-states-explored 23677 6834
build-model-states-explored 30677 7000
build-model-states-explored 37257 6580
build-model-states-explored 42881 5624
build-model-states-explored 49521 6640
build-model-states-explored 55992 6471
build-model-states-explored 62263 6271
build-model-states-explored 69234 6971
build-model-states-explored 76246 7012
build-model-states-explored 83265 7019
build-model-states-explored 90630 7365
build-model-states-explored 99131 8501
build-model-states-explored 107059 7928
build-model-states-explored 115199 8140
build-model-states-explored 122866 7667
build-model-states-explored 129086 6220
build-model-states-explored 135675 6589
build-model-states-explored 143710 8035
build-model-states-explored 151737 8027
build-model-states-explored 159743 8006
build-model-states-explored 167774 8031
build-model-states-explored 175816 8042
build-model-states-explored 183860 8044
build-model-states-explored 191580 7720
build-model-states-explored 199617 8037
build-model-states-explored 206431 6813
build-model-states-explored 214095 7665
build-model-states-explored 221289 7194
build-model-states-explored 229631 8342
build-model-states-explored 237967 8336
build-model-states-explored 246322 8355
build-model-states-explored 254666 8344
build-model-states-explored 262835 8169
build-model-states-explored 271184 8349
build-model-states-explored 279543 8359
build-model-states-explored 287816 8273
build-model-states-explored 296184 8368
build-model-states-explored 304495 8311
build-model-states-explored 312838 8343
build-model-states-explored 321193 8355
build-model-states-explored 329518 8324
build-model-states-explored 337864 8347
build-model-states-explored 346332 8468
build-model-states-explored 354817 8485
build-model-states-explored 363310 8493
build-model-states-explored 371798 8488
build-model-states-explored 380294 8495
build-model-states-explored 388667 8374
build-model-states-explored 397080 8413
build-model-states-explored 405521 8440
build-model-states-explored 411620 6100
build-model-states-explored 419164 7544
build-model-states-explored 427461 8297
build-model-states-explored 433675 6214
build-model-states-explored 439460 5785
build-model-states-explored 445366 5906
build-model-states-explored 451303 5936
build-model-states-explored 457237 5935
build-model-states-explored 462519 5281
build-model-states-explored 470078 7559
build-model-states-explored 477647 7569
build-model-states-explored 485237 7590
build-model-states-explored 492780 7543
build-model-states-explored 500363 7583
build-model-states-explored 507955 7592
build-model-states-explored 515517 7562
build-model-states-explored 522900 7383
build-model-states-explored 530217 7317
build-model-states-explored 537804 7587
build-model-states-explored 545364 7560
build-model-states-explored 552954 7590
build-model-states-explored 560542 7588
build-model-states-explored 568137 7595
build-model-states-explored 575712 7575
build-model-states-explored 583305 7593
build-model-states-explored 590880 7575
build-model-states-explored 598478 7598
build-model-states-explored 606036 7558
build-model-states-explored 613616 7580
build-model-states-explored 621168 7552
build-model-states-explored 628723 7555
build-model-states-explored 636292 7569
build-model-states-explored 643856 7564
build-model-states-explored 651739 7883
build-model-states-explored 659593 7854
build-model-states-explored 667475 7882
build-model-states-explored 674387 6912
build-model-states-explored 680048 5661
build-model-states-explored 686317 6269
build-model-states-explored 694512 8195
build-model-states-explored 701364 6852
build-model-states-explored 709535 8171
build-model-states-explored 717704 8169
build-model-states-explored 725881 8177
build-model-states-explored 734074 8193
build-model-states-explored 742244 8170
build-model-states-explored 750429 8185
build-model-states-explored 758632 8203
build-model-states-explored 766803 8171
build-model-states-explored 774987 8184
build-model-states-explored 783099 8112
build-model-states-explored 791153 8054
build-model-states-explored 799441 8288
build-model-states-explored 807722 8281
build-model-states-explored 816007 8285
build-model-states-explored 824290 8283
build-model-states-explored 830029 5739
build-model-states-explored 836108 6079
build-model-states-explored 844394 8286
build-model-states-explored 852713 8319
build-model-states-explored 861026 8313
build-model-states-explored 869265 8239
build-model-states-explored 877570 8305
build-model-states-explored 885890 8320
build-model-states-explored 894207 8317
build-model-states-explored 902517 8310
build-model-states-explored 910685 8168
build-model-states-explored 918998 8313
build-model-states-explored 927309 8311
build-model-states-explored 935607 8298
build-model-states-explored 943916 8309
build-model-states-explored 952164 8248
build-model-states-explored 960275 8111
build-model-states-explored 968580 8305
build-model-states-explored 976896 8316
build-model-states-explored 985200 8304
build-model-states-explored 993368 8168
build-model-states-explored 1001502 8134
build-model-states-explored 1009827 8325
build-model-states-explored 1018138 8311
build-model-states-explored 1026448 8310
build-model-states-explored 1034763 8315
build-model-states-explored 1043094 8331
build-model-states-explored 1050904 7810
build-model-states-explored 1059213 8309
build-model-states-explored 1067509 8296
build-model-states-explored 1075825 8316
build-model-states-explored 1084269 8444
build-model-states-explored 1092735 8466
build-model-states-explored 1101204 8469
build-model-states-explored 1109625 8421
build-model-states-explored 1118095 8470
build-model-states-explored 1126553 8458
build-model-states-explored 1134959 8406
build-model-states-explored 1143368 8409
build-model-states-explored 1151841 8473
build-model-states-explored 1160324 8483
build-model-states-explored 1168801 8477
build-model-states-explored 1177251 8450
build-model-states-explored 1185732 8481
build-model-states-explored 1194215 8483
build-model-states-explored 1202694 8479
build-model-states-explored 1211037 8343
build-model-states-explored 1219498 8461
build-model-states-explored 1227981 8483
build-model-states-explored 1236453 8472
build-model-states-explored 1244929 8476
build-model-states-explored 1253392 8462
build-model-states-explored 1261858 8467
build-model-states-explored 1270324 8466
build-model-states-explored 1278137 7813
build-model-states-explored 1285376 7239
build-model-states-explored 1293373 7997
build-model-done 1295218 166
iterating
iterating-progress-unbounded 37 0.7692307692307693 1
iterating-progress-unbounded 80 0.4166666666666667 2
iterating-progress-unbounded 123 0.2898550724637681 3
iterating-progress-unbounded 165 0.2222222222222222 4
iterating-progress-unbounded 208 0.17857142857142858 5
iterating-progress-unbounded 251 0.15037593984962405 6
iterating-progress-unbounded 294 0.12903225806451613 7
iterating-progress-unbounded 337 0.11363636363636363 8
iterating-progress-unbounded 380 0.10101010101010101 9
iterating-progress-unbounded 423 0.091324200913242 10
iterating-progress-unbounded 466 0.08298755186721991 11
iterating-progress-unbounded 509 0.07633587786259542 12
iterating-progress-unbounded 552 0.07042253521126761 13
iterating-progress-unbounded 595 0.06557377049180328 14
iterating-progress-unbounded 638 0.06116207951070336 15
iterating-progress-unbounded 681 0.05747126436781609 16
iterating-progress-unbounded 725 0.05405405405405406 17
iterating-progress-unbounded 768 0.05102040816326531 18
iterating-progress-unbounded 812 0.04830917874396135 19
iterating-progress-unbounded 855 0.04597701149425287 20
iterating-progress-unbounded 899 0.0437636761487965 21
iterating-progress-unbounded 943 0.04175365344467641 22
iterating-progress-unbounded 986 0.03992015968063872 23
iterating-progress-unbounded 1030 0.01818181818181818 24
iterating-done 1070 24
model-checking-done 827
command-check-result-is 7625.0 cost_min
Model:	wlan v.1 (MDP)
Parameter(s)	MAX_BACKOFF = 5, COL = 0
Property:	cost_min (exp-reward)
Walltime:	829.2652363777161s
Return code:	0
Relative Error:	0.0